происхождение города петра